A Logic for Encapsulation in Object Oriented
نویسندگان
چکیده
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by deening a proof theory, a model theory and a xed point theory. We also show that the diierent characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language to a corresponding modal language, and we show that the proof theory of the language is sound and complete with respect to the entailment relation of the corresponding modal framework. The proposed semantics represents { to our knowledge { the rst attempt to capture a truly logical semantics of encapsulation in deductive object oriented languages.
منابع مشابه
A Formalization of Objects Using Equational Dynamic Logic
Order-sorted equational logic is extended with dynamic logic to a specification language for dynamic objects. Special attention is paid to different concepts of encapsulation that play a role in object-orientation. It is argued that the resulting language, CMSL, meets those requirements of the object-oriented database system manifesto [6] that are applicable to object-oriented conceptual models...
متن کاملA Logic for Encapsulation in Object-Oriented Languages
We present a logic language with encapsulation based on an object-oriented data model. We give a formal account of the semantics of this language by defining a proof theory, a model theory and a fixed point theory. We also show that the different characterizations of the semantics are equivalent. We then study the logical foundations of encapsulation by introducing a mapping from our language t...
متن کاملIncorporating Methods and Encapsulation into Deductive Object-Oriented Database Languages
This paper presents an approach to incorporating rule-based methods and encapsulation of such methods into DOOD languages. The main novel feature of this approach is the simple and intuitive logic-based semantics that cleanly accounts for all important object-oriented features such as object identity, complex objects, typing, methods, encapsulation, class hierarchy, multiple structural and beha...
متن کاملA specification logic for concurrent object-oriented programming
The paper is focused on the use of linear logic for the speciication of the operational semantics of advanced concepts of programming, and, in particular, of concurrent object-oriented programming. For this purpose, we shall employ a reened sequent-calculus based on the proof-theoretical characterization of linear logic programming. A synergic combination of higher-order logic programming and l...
متن کاملMulti-paradigm Languages Supporting Multi-agent Development
Object-oriented languages generally support agent developments despite logic languages are more appropriate for managing mental attitudes. The alternative of a multi-paradigm language is a way for supporting agent constructions we explore. A multi-paradigm language that supports the encapsulation of actions, the hiding of private knowledge and the flexible manipulation of knowledge could be a g...
متن کامل